Exploring a syntactic notion of modal many-valued logics

We propose a general semantic notion of modal many-valued logic. Then, we explore the di culties to characterize this notion in a syntactic way and analyze the existing literature with respect to this frameworkPeer Reviewe

On completeness results for predicate lukasiewicz, product, gödel and nilpotent minimum logics expanded with truth-constants

In this paper we deal with generic expansions of first-order predicate logics of some left-continuous t-norms with a countable set of truth-constants. Besides already known results for the case of Lukasiewicz logic, we obtain new conservativeness and completeness results for some other expansions. Namely, we prove that the expansions of predicate Product, Gödel and Nilpotent Minimum logics with truth-constants are conservative, which already implies the failure of standard completeness for the case of Product logic. In contrast, the expansions of predicate Gödel and Nilpotent Minimum logics are proved to be strong standard complete but, when the semantics is restricted to the canonical algebra, they are proved to be complete only for tautologies. Moreover, when the language is restricted to evaluated formulae we prove canonical completeness for deductions from finite sets of premises.Peer Reviewe

Affordability influences nutritional quality of seafood consumption among income and race/ethnicity groups in the United States

Background The 2020 US Dietary Guidelines for Americans recommend that the US population consume more seafood. Most analyses of seafood consumption ignore heterogeneity in consumption patterns by species, nutritional content, production methods, and price, which have implications for applying recommendations. Objectives We assessed seafood intake among adults by socioeconomic and demographic groups, as well as the cost of seafood at retail to identify affordable and nutritious options. Methods NHANES 2011–2018 dietary data (n = 17,559 total, n = 3285 eating seafood) were used to assess adult (≥20 y) intake of seafood in relation to income and race/ethnicity. Multivariable linear regression assessed the association between seafood consumption and income, adjusted for age, sex, and race/ethnicity, and the association between nutrients and seafood price, using Nielsen 2017–2019 retail sales data, adjusted for sales volume. Results Low-income groups consume slightly less seafood than high-income groups [low income: mean 120.2 (95% CI: 103.5, 137.2) g/wk; high income: 141.8 (119.1, 164.1) g/wk] but substantially less seafood that is high in long-chain n–3 (ω-3) PUFAs [lower income: 21.3 (17.3, 25.5) g/wk; higher income: 46.8 (35.4, 57.8) g/wk]. Intake rates, species, and production method choices varied by race/ethnicity groups and within race/ethnicity groups by income. Retail seafood as a whole costs more than other protein foods (e.g., meat, poultry, eggs, beans), and fresh seafood high in n–3 PUFAs costs more (P < 0.002) than fresh seafood low in n–3 PUFAs. Retail seafood is available in a wide range of price points and product forms, and some lower-cost fish and shellfish were high in n–3 PUFAs, calcium, iron, selenium, and vitamins B-12 and D. Conclusions New insights into the relation between seafood affordability and consumption patterns among income and ethnicity groups suggest that specific policies and interventions may be needed to enhance the consumption of seafood by different groups.publishedVersio

Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Fermi-LAT Study of Gamma-ray Emission in the Direction of Supernova Remnant W49B

We present an analysis of the gamma-ray data obtained with the Large Area Telescope (LAT) onboard the Fermi Gamma-ray Space Telescope in the direction of SNR W49B (G43.3-0.2). A bright unresolved gamma-ray source detected at a significance of 38 sigma is found to coincide with SNR W49B. The energy spectrum in the 0.2-200 GeV range gradually steepens toward high energies. The luminosity is estimated to be 1.5x10^{36} (D/8 kpc)^2 erg s^-1 in this energy range. There is no indication that the gamma-ray emission comes from a pulsar. Assuming that the SNR shell is the site of gamma-ray production, the observed spectrum can be explained either by the decay of neutral pi mesons produced through the proton-proton collisions or by electron bremsstrahlung. The calculated energy density of relativistic particles responsible for the LAT flux is estimated to be remarkably large, U_{e,p}>10^4 eV cm^-3, for either gamma-ray production mechanism.Comment: 9 pages, 10 figure

Constraints on dark matter models from a Fermi LAT search for high-energy cosmic-ray electrons from the Sun

During its first year of data taking, the Large Area Telescope (LAT) onboard the Fermi Gamma-Ray Space Telescope has collected a large sample of high-energy cosmic-ray electrons and positrons (CREs). We present the results of a directional analysis of the CRE events, in which we searched for a flux excess correlated with the direction of the Sun. Two different and complementary analysis approaches were implemented, and neither yielded evidence of a significant CRE flux excess from the Sun. We derive upper limits on the CRE flux from the Sun's direction, and use these bounds to constrain two classes of dark matter models which predict a solar CRE flux: (1) models in which dark matter annihilates to CREs via a light intermediate state, and (2) inelastic dark matter models in which dark matter annihilates to CREs.Comment: 18 pages, 8 figures, accepted for publication in Physical Review D - contact authors: Francesco Loparco ([email protected]), M. Nicola Mazziotta ([email protected]) and Jennifer Siegal-Gaskins ([email protected]

Fermi Gamma-ray Space Telescope Observations of Recent Gamma-ray Outbursts from 3C 454.3

The flat spectrum radio quasar 3C~454.3 underwent an extraordinary outburst in December 2009 when it became the brightest gamma-ray source in the sky for over one week. Its daily flux measured with the Fermi Large Area Telescope at photon energies E>100 MeV reached F = 22+/-1 x 10^-6 ph cm^-2 s^-1, representing the highest daily flux of any blazar ever recorded in high-energy gamma-rays. It again became the brightest source in the sky in 2010 April, triggering a pointed-mode observation by Fermi. The correlated gamma-ray temporal and spectral properties during these exceptional events are presented and discussed. The main results show flux variability over time scales less than 3 h and very mild spectral variability with an indication of gradual hardening preceding major flares. No consistent loop pattern emerged in the gamma-ray spectral index vs flux plane. A minimum Doppler factor of ~ 15 is derived, and the maximum energy of a photon from 3C 454.3 is ~ 20 GeV. The spectral break at a few GeV is inconsistent with Klein-Nishina softening from power-law electrons scattering Ly_alpha line radiation, and a break in the underlying electron spectrum in blazar leptonic models is implied.Comment: submitted to the Astrophysical Journa

H.E.S.S. observations of gamma-ray bursts in 2003-2007

Very-high-energy (VHE; >~100 GeV) gamma-rays are expected from gamma-ray bursts (GRBs) in some scenarios. Exploring this photon energy regime is necessary for understanding the energetics and properties of GRBs. GRBs have been one of the prime targets for the H.E.S.S. experiment, which makes use of four Imaging Atmospheric Cherenkov Telescopes (IACTs) to detect VHE gamma-rays. Dedicated observations of 32 GRB positions were made in the years 2003-2007 and a search for VHE gamma-ray counterparts of these GRBs was made. Depending on the visibility and observing conditions, the observations mostly start minutes to hours after the burst and typically last two hours. Results from observations of 22 GRB positions are presented and evidence of a VHE signal was found neither in observations of any individual GRBs, nor from stacking data from subsets of GRBs with higher expected VHE flux according to a model-independent ranking scheme. Upper limits for the VHE gamma-ray flux from the GRB positions were derived. For those GRBs with measured redshifts, differential upper limits at the energy threshold after correcting for absorption due to extra-galactic background light are also presented.Comment: 9 pages, 4 tables, 3 figure

Fermi Large Area Telescope View of the Core of the Radio Galaxy Centaurus A

We present gamma-ray observations with the LAT on board the Fermi Gamma-Ray Telescope of the nearby radio galaxy Centaurus~A. The previous EGRET detection is confirmed, and the localization is improved using data from the first 10 months of Fermi science operation. In previous work, we presented the detection of the lobes by the LAT; in this work, we concentrate on the gamma-ray core of Cen~A. Flux levels as seen by the LAT are not significantly different from that found by EGRET, nor is the extremely soft LAT spectrum (\G=2.67\pm0.10_{stat}\pm0.08_{sys} where the photon flux is \Phi\propto E^{-\G}). The LAT core spectrum, extrapolated to higher energies, is marginally consistent with the non-simultaneous HESS spectrum of the source. The LAT observations are complemented by simultaneous observations from Suzaku, the Swift Burst Alert Telescope and X-ray Telescope, and radio observations with the Tracking Active Galactic Nuclei with Austral Milliarcsecond Interferometry (TANAMI) program, along with a variety of non-simultaneous archival data from a variety of instruments and wavelengths to produce a spectral energy distribution (SED). We fit this broadband data set with a single-zone synchrotron/synchrotron self-Compton model, which describes the radio through GeV emission well, but fails to account for the non-simultaneous higher energy TeV emission observed by HESS from 2004-2008. The fit requires a low Doppler factor, in contrast to BL Lacs which generally require larger values to fit their broadband SEDs. This indicates the \g-ray emission originates from a slower region than that from BL Lacs, consistent with previous modeling results from Cen~A. This slower region could be a slower moving layer around a fast spine, or a slower region farther out from the black hole in a decelerating flow.Comment: Accepted by ApJ. 32 pages, 5 figures, 2 tables. J. Finke and Y. Fukazawa corresponding author